English linear deduction: переклад на інші мови